"High Point" meaning in All languages combined

See High Point on Wiktionary

Proper name [English]

Head templates: {{en-prop|head=High Point}} High Point
  1. A number of places in the United States:
    An unincorporated community and census-designated place in Hernando County, Florida.
    Categories (place): Census-designated places in Florida, USA, Places in Florida, USA, Places in the United States, Unincorporated communities in Florida, USA
    Sense id: en-High_Point-en-name-mYPtAD7X Categories (other): English entries with incorrect language header, Pages with 1 entry, Pages with entries Disambiguation of English entries with incorrect language header: 15 16 6 6 6 18 17 6 6 6 Disambiguation of Pages with 1 entry: 15 16 5 5 6 18 17 5 5 5 Disambiguation of Pages with entries: 15 17 5 5 6 18 18 5 5 5
  2. A number of places in the United States:
    An unincorporated community in Palm Beach County, Florida.
    Categories (place): Places in Florida, USA, Places in the United States, Unincorporated communities in Florida, USA
    Sense id: en-High_Point-en-name-yqpmZnsO Categories (other): English entries with incorrect language header, Pages with 1 entry, Pages with entries Disambiguation of English entries with incorrect language header: 15 16 6 6 6 18 17 6 6 6 Disambiguation of Pages with 1 entry: 15 16 5 5 6 18 17 5 5 5 Disambiguation of Pages with entries: 15 17 5 5 6 18 18 5 5 5
  3. A number of places in the United States:
    A neighbourhood of Atlanta, Georgia.
    Categories (place): Places in Atlanta, Places in Georgia, USA, Places in the United States
    Sense id: en-High_Point-en-name-4T4OuRH- Categories (other): Neighborhoods of Atlanta
  4. A number of places in the United States:
    A census-designated place and unincorporated community in Walker County, Georgia.
    Categories (place): Census-designated places in Georgia, USA, Places in Georgia, USA, Places in the United States, Unincorporated communities in Georgia, USA
    Sense id: en-High_Point-en-name-BtEvLo8R
  5. A number of places in the United States:
    A township in Decatur County, Iowa.
    Categories (place): Places in Iowa, USA, Places in the United States
    Sense id: en-High_Point-en-name-FzDvybNg Categories (other): Townships
  6. A number of places in the United States:
    An unincorporated community in Moniteau County, Missouri.
    Categories (place): Places in Missouri, USA, Places in the United States, Unincorporated communities in Missouri, USA
    Sense id: en-High_Point-en-name-xTLbsMug Categories (other): English entries with incorrect language header, Pages with 1 entry, Pages with entries Disambiguation of English entries with incorrect language header: 15 16 6 6 6 18 17 6 6 6 Disambiguation of Pages with 1 entry: 15 16 5 5 6 18 17 5 5 5 Disambiguation of Pages with entries: 15 17 5 5 6 18 18 5 5 5
  7. A number of places in the United States:
    A city mostly in Guilford County, North Carolina.
    Categories (place): Cities in North Carolina, USA, Cities in the United States, Places in North Carolina, USA, Places in the United States
    Sense id: en-High_Point-en-name-92TFYnRJ Categories (other): English entries with incorrect language header, Pages with 1 entry, Pages with entries Disambiguation of English entries with incorrect language header: 15 16 6 6 6 18 17 6 6 6 Disambiguation of Pages with 1 entry: 15 16 5 5 6 18 17 5 5 5 Disambiguation of Pages with entries: 15 17 5 5 6 18 18 5 5 5
  8. A number of places in the United States:
    A neighbourhood of Seattle, Washington.
    Categories (place): Places in Seattle, Places in Washington, USA, Places in the United States
    Sense id: en-High_Point-en-name-GouTBSoY Categories (other): Neighborhoods of Seattle
  9. A number of places in the United States:
    An unincorporated community in King County, Washington.
    Categories (place): Places in Washington, USA, Places in the United States, Unincorporated communities in Washington, USA
    Sense id: en-High_Point-en-name-aJLcIXHz
  10. A number of places in the United States:
    The name of a number of high points (summits, hills, mountains) in various places.
    Categories (place): Places in the United States
    Sense id: en-High_Point-en-name-ognAm-uZ
{
  "head_templates": [
    {
      "args": {
        "head": "High Point"
      },
      "expansion": "High Point",
      "name": "en-prop"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "name",
  "senses": [
    {
      "categories": [
        {
          "kind": "place",
          "langcode": "en",
          "name": "Census-designated places in Florida, USA",
          "orig": "en:Census-designated places in Florida, USA",
          "parents": [
            "Census-designated places",
            "Places"
          ],
          "source": "w"
        },
        {
          "kind": "place",
          "langcode": "en",
          "name": "Places in Florida, USA",
          "orig": "en:Places in Florida, USA",
          "parents": [
            "Places"
          ],
          "source": "w"
        },
        {
          "kind": "place",
          "langcode": "en",
          "name": "Places in the United States",
          "orig": "en:Places in the United States",
          "parents": [
            "Places"
          ],
          "source": "w"
        },
        {
          "kind": "place",
          "langcode": "en",
          "name": "Unincorporated communities in Florida, USA",
          "orig": "en:Unincorporated communities in Florida, USA",
          "parents": [
            "Unincorporated communities",
            "Places"
          ],
          "source": "w"
        },
        {
          "_dis": "15 16 6 6 6 18 17 6 6 6",
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "15 16 5 5 6 18 17 5 5 5",
          "kind": "other",
          "name": "Pages with 1 entry",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "15 17 5 5 6 18 18 5 5 5",
          "kind": "other",
          "name": "Pages with entries",
          "parents": [],
          "source": "w+disamb"
        }
      ],
      "glosses": [
        "A number of places in the United States:",
        "An unincorporated community and census-designated place in Hernando County, Florida."
      ],
      "id": "en-High_Point-en-name-mYPtAD7X",
      "links": [
        [
          "United States",
          "United States#English"
        ],
        [
          "unincorporated community",
          "unincorporated community"
        ],
        [
          "census-designated place",
          "census-designated place"
        ],
        [
          "Hernando County",
          "Hernando County#English"
        ],
        [
          "Florida",
          "Florida#English"
        ]
      ]
    },
    {
      "categories": [
        {
          "kind": "place",
          "langcode": "en",
          "name": "Places in Florida, USA",
          "orig": "en:Places in Florida, USA",
          "parents": [
            "Places"
          ],
          "source": "w"
        },
        {
          "kind": "place",
          "langcode": "en",
          "name": "Places in the United States",
          "orig": "en:Places in the United States",
          "parents": [
            "Places"
          ],
          "source": "w"
        },
        {
          "kind": "place",
          "langcode": "en",
          "name": "Unincorporated communities in Florida, USA",
          "orig": "en:Unincorporated communities in Florida, USA",
          "parents": [
            "Unincorporated communities",
            "Places"
          ],
          "source": "w"
        },
        {
          "_dis": "15 16 6 6 6 18 17 6 6 6",
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "15 16 5 5 6 18 17 5 5 5",
          "kind": "other",
          "name": "Pages with 1 entry",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "15 17 5 5 6 18 18 5 5 5",
          "kind": "other",
          "name": "Pages with entries",
          "parents": [],
          "source": "w+disamb"
        }
      ],
      "glosses": [
        "A number of places in the United States:",
        "An unincorporated community in Palm Beach County, Florida."
      ],
      "id": "en-High_Point-en-name-yqpmZnsO",
      "links": [
        [
          "United States",
          "United States#English"
        ],
        [
          "unincorporated community",
          "unincorporated community"
        ],
        [
          "Palm Beach County",
          "Palm Beach County#English"
        ],
        [
          "Florida",
          "Florida#English"
        ]
      ]
    },
    {
      "categories": [
        {
          "kind": "other",
          "langcode": "en",
          "name": "Neighborhoods of Atlanta",
          "orig": "en:Neighborhoods of Atlanta",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "place",
          "langcode": "en",
          "name": "Places in Atlanta",
          "orig": "en:Places in Atlanta",
          "parents": [
            "Places"
          ],
          "source": "w"
        },
        {
          "kind": "place",
          "langcode": "en",
          "name": "Places in Georgia, USA",
          "orig": "en:Places in Georgia, USA",
          "parents": [
            "Places"
          ],
          "source": "w"
        },
        {
          "kind": "place",
          "langcode": "en",
          "name": "Places in the United States",
          "orig": "en:Places in the United States",
          "parents": [
            "Places"
          ],
          "source": "w"
        }
      ],
      "glosses": [
        "A number of places in the United States:",
        "A neighbourhood of Atlanta, Georgia."
      ],
      "id": "en-High_Point-en-name-4T4OuRH-",
      "links": [
        [
          "United States",
          "United States#English"
        ],
        [
          "neighbourhood",
          "neighbourhood"
        ],
        [
          "Atlanta",
          "Atlanta#English"
        ],
        [
          "Georgia",
          "Georgia#English"
        ]
      ]
    },
    {
      "categories": [
        {
          "kind": "place",
          "langcode": "en",
          "name": "Census-designated places in Georgia, USA",
          "orig": "en:Census-designated places in Georgia, USA",
          "parents": [
            "Census-designated places",
            "Places"
          ],
          "source": "w"
        },
        {
          "kind": "place",
          "langcode": "en",
          "name": "Places in Georgia, USA",
          "orig": "en:Places in Georgia, USA",
          "parents": [
            "Places"
          ],
          "source": "w"
        },
        {
          "kind": "place",
          "langcode": "en",
          "name": "Places in the United States",
          "orig": "en:Places in the United States",
          "parents": [
            "Places"
          ],
          "source": "w"
        },
        {
          "kind": "place",
          "langcode": "en",
          "name": "Unincorporated communities in Georgia, USA",
          "orig": "en:Unincorporated communities in Georgia, USA",
          "parents": [
            "Unincorporated communities",
            "Places"
          ],
          "source": "w"
        }
      ],
      "glosses": [
        "A number of places in the United States:",
        "A census-designated place and unincorporated community in Walker County, Georgia."
      ],
      "id": "en-High_Point-en-name-BtEvLo8R",
      "links": [
        [
          "United States",
          "United States#English"
        ],
        [
          "census-designated place",
          "census-designated place"
        ],
        [
          "unincorporated community",
          "unincorporated community"
        ],
        [
          "Walker County",
          "Walker County#English"
        ],
        [
          "Georgia",
          "Georgia#English"
        ]
      ]
    },
    {
      "categories": [
        {
          "kind": "place",
          "langcode": "en",
          "name": "Places in Iowa, USA",
          "orig": "en:Places in Iowa, USA",
          "parents": [
            "Places"
          ],
          "source": "w"
        },
        {
          "kind": "place",
          "langcode": "en",
          "name": "Places in the United States",
          "orig": "en:Places in the United States",
          "parents": [
            "Places"
          ],
          "source": "w"
        },
        {
          "kind": "other",
          "langcode": "en",
          "name": "Townships",
          "orig": "en:Townships",
          "parents": [],
          "source": "w"
        }
      ],
      "glosses": [
        "A number of places in the United States:",
        "A township in Decatur County, Iowa."
      ],
      "id": "en-High_Point-en-name-FzDvybNg",
      "links": [
        [
          "United States",
          "United States#English"
        ],
        [
          "township",
          "township"
        ],
        [
          "Decatur County",
          "Decatur County#English"
        ],
        [
          "Iowa",
          "Iowa#English"
        ]
      ]
    },
    {
      "categories": [
        {
          "kind": "place",
          "langcode": "en",
          "name": "Places in Missouri, USA",
          "orig": "en:Places in Missouri, USA",
          "parents": [
            "Places"
          ],
          "source": "w"
        },
        {
          "kind": "place",
          "langcode": "en",
          "name": "Places in the United States",
          "orig": "en:Places in the United States",
          "parents": [
            "Places"
          ],
          "source": "w"
        },
        {
          "kind": "place",
          "langcode": "en",
          "name": "Unincorporated communities in Missouri, USA",
          "orig": "en:Unincorporated communities in Missouri, USA",
          "parents": [
            "Unincorporated communities",
            "Places"
          ],
          "source": "w"
        },
        {
          "_dis": "15 16 6 6 6 18 17 6 6 6",
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "15 16 5 5 6 18 17 5 5 5",
          "kind": "other",
          "name": "Pages with 1 entry",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "15 17 5 5 6 18 18 5 5 5",
          "kind": "other",
          "name": "Pages with entries",
          "parents": [],
          "source": "w+disamb"
        }
      ],
      "glosses": [
        "A number of places in the United States:",
        "An unincorporated community in Moniteau County, Missouri."
      ],
      "id": "en-High_Point-en-name-xTLbsMug",
      "links": [
        [
          "United States",
          "United States#English"
        ],
        [
          "unincorporated community",
          "unincorporated community"
        ],
        [
          "Moniteau County",
          "Moniteau County#English"
        ],
        [
          "Missouri",
          "Missouri#English"
        ]
      ]
    },
    {
      "categories": [
        {
          "kind": "place",
          "langcode": "en",
          "name": "Cities in North Carolina, USA",
          "orig": "en:Cities in North Carolina, USA",
          "parents": [
            "Cities",
            "Places"
          ],
          "source": "w"
        },
        {
          "kind": "place",
          "langcode": "en",
          "name": "Cities in the United States",
          "orig": "en:Cities in the United States",
          "parents": [
            "Cities",
            "Places"
          ],
          "source": "w"
        },
        {
          "kind": "place",
          "langcode": "en",
          "name": "Places in North Carolina, USA",
          "orig": "en:Places in North Carolina, USA",
          "parents": [
            "Places"
          ],
          "source": "w"
        },
        {
          "kind": "place",
          "langcode": "en",
          "name": "Places in the United States",
          "orig": "en:Places in the United States",
          "parents": [
            "Places"
          ],
          "source": "w"
        },
        {
          "_dis": "15 16 6 6 6 18 17 6 6 6",
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "15 16 5 5 6 18 17 5 5 5",
          "kind": "other",
          "name": "Pages with 1 entry",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "15 17 5 5 6 18 18 5 5 5",
          "kind": "other",
          "name": "Pages with entries",
          "parents": [],
          "source": "w+disamb"
        }
      ],
      "glosses": [
        "A number of places in the United States:",
        "A city mostly in Guilford County, North Carolina."
      ],
      "id": "en-High_Point-en-name-92TFYnRJ",
      "links": [
        [
          "United States",
          "United States#English"
        ],
        [
          "city",
          "city"
        ],
        [
          "Guilford County",
          "Guilford County#English"
        ],
        [
          "North Carolina",
          "North Carolina#English"
        ]
      ]
    },
    {
      "categories": [
        {
          "kind": "other",
          "langcode": "en",
          "name": "Neighborhoods of Seattle",
          "orig": "en:Neighborhoods of Seattle",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "place",
          "langcode": "en",
          "name": "Places in Seattle",
          "orig": "en:Places in Seattle",
          "parents": [
            "Places"
          ],
          "source": "w"
        },
        {
          "kind": "place",
          "langcode": "en",
          "name": "Places in Washington, USA",
          "orig": "en:Places in Washington, USA",
          "parents": [
            "Places"
          ],
          "source": "w"
        },
        {
          "kind": "place",
          "langcode": "en",
          "name": "Places in the United States",
          "orig": "en:Places in the United States",
          "parents": [
            "Places"
          ],
          "source": "w"
        }
      ],
      "glosses": [
        "A number of places in the United States:",
        "A neighbourhood of Seattle, Washington."
      ],
      "id": "en-High_Point-en-name-GouTBSoY",
      "links": [
        [
          "United States",
          "United States#English"
        ],
        [
          "neighbourhood",
          "neighbourhood"
        ],
        [
          "Seattle",
          "Seattle#English"
        ],
        [
          "Washington",
          "Washington#English"
        ]
      ]
    },
    {
      "categories": [
        {
          "kind": "place",
          "langcode": "en",
          "name": "Places in Washington, USA",
          "orig": "en:Places in Washington, USA",
          "parents": [
            "Places"
          ],
          "source": "w"
        },
        {
          "kind": "place",
          "langcode": "en",
          "name": "Places in the United States",
          "orig": "en:Places in the United States",
          "parents": [
            "Places"
          ],
          "source": "w"
        },
        {
          "kind": "place",
          "langcode": "en",
          "name": "Unincorporated communities in Washington, USA",
          "orig": "en:Unincorporated communities in Washington, USA",
          "parents": [
            "Unincorporated communities",
            "Places"
          ],
          "source": "w"
        }
      ],
      "glosses": [
        "A number of places in the United States:",
        "An unincorporated community in King County, Washington."
      ],
      "id": "en-High_Point-en-name-aJLcIXHz",
      "links": [
        [
          "United States",
          "United States#English"
        ],
        [
          "unincorporated community",
          "unincorporated community"
        ],
        [
          "King County",
          "King County#English"
        ],
        [
          "Washington",
          "Washington#English"
        ]
      ]
    },
    {
      "categories": [
        {
          "kind": "place",
          "langcode": "en",
          "name": "Places in the United States",
          "orig": "en:Places in the United States",
          "parents": [
            "Places"
          ],
          "source": "w"
        }
      ],
      "glosses": [
        "A number of places in the United States:",
        "The name of a number of high points (summits, hills, mountains) in various places."
      ],
      "id": "en-High_Point-en-name-ognAm-uZ",
      "links": [
        [
          "United States",
          "United States#English"
        ]
      ]
    }
  ],
  "word": "High Point"
}
{
  "categories": [
    "English entries with incorrect language header",
    "English lemmas",
    "English multiword terms",
    "English proper nouns",
    "English uncountable nouns",
    "Pages with 1 entry",
    "Pages with entries"
  ],
  "head_templates": [
    {
      "args": {
        "head": "High Point"
      },
      "expansion": "High Point",
      "name": "en-prop"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "name",
  "senses": [
    {
      "categories": [
        "en:Census-designated places in Florida, USA",
        "en:Places in Florida, USA",
        "en:Places in the United States",
        "en:Unincorporated communities in Florida, USA"
      ],
      "glosses": [
        "A number of places in the United States:",
        "An unincorporated community and census-designated place in Hernando County, Florida."
      ],
      "links": [
        [
          "United States",
          "United States#English"
        ],
        [
          "unincorporated community",
          "unincorporated community"
        ],
        [
          "census-designated place",
          "census-designated place"
        ],
        [
          "Hernando County",
          "Hernando County#English"
        ],
        [
          "Florida",
          "Florida#English"
        ]
      ]
    },
    {
      "categories": [
        "en:Places in Florida, USA",
        "en:Places in the United States",
        "en:Unincorporated communities in Florida, USA"
      ],
      "glosses": [
        "A number of places in the United States:",
        "An unincorporated community in Palm Beach County, Florida."
      ],
      "links": [
        [
          "United States",
          "United States#English"
        ],
        [
          "unincorporated community",
          "unincorporated community"
        ],
        [
          "Palm Beach County",
          "Palm Beach County#English"
        ],
        [
          "Florida",
          "Florida#English"
        ]
      ]
    },
    {
      "categories": [
        "en:Neighborhoods of Atlanta",
        "en:Places in Atlanta",
        "en:Places in Georgia, USA",
        "en:Places in the United States"
      ],
      "glosses": [
        "A number of places in the United States:",
        "A neighbourhood of Atlanta, Georgia."
      ],
      "links": [
        [
          "United States",
          "United States#English"
        ],
        [
          "neighbourhood",
          "neighbourhood"
        ],
        [
          "Atlanta",
          "Atlanta#English"
        ],
        [
          "Georgia",
          "Georgia#English"
        ]
      ]
    },
    {
      "categories": [
        "en:Census-designated places in Georgia, USA",
        "en:Places in Georgia, USA",
        "en:Places in the United States",
        "en:Unincorporated communities in Georgia, USA"
      ],
      "glosses": [
        "A number of places in the United States:",
        "A census-designated place and unincorporated community in Walker County, Georgia."
      ],
      "links": [
        [
          "United States",
          "United States#English"
        ],
        [
          "census-designated place",
          "census-designated place"
        ],
        [
          "unincorporated community",
          "unincorporated community"
        ],
        [
          "Walker County",
          "Walker County#English"
        ],
        [
          "Georgia",
          "Georgia#English"
        ]
      ]
    },
    {
      "categories": [
        "en:Places in Iowa, USA",
        "en:Places in the United States",
        "en:Townships"
      ],
      "glosses": [
        "A number of places in the United States:",
        "A township in Decatur County, Iowa."
      ],
      "links": [
        [
          "United States",
          "United States#English"
        ],
        [
          "township",
          "township"
        ],
        [
          "Decatur County",
          "Decatur County#English"
        ],
        [
          "Iowa",
          "Iowa#English"
        ]
      ]
    },
    {
      "categories": [
        "en:Places in Missouri, USA",
        "en:Places in the United States",
        "en:Unincorporated communities in Missouri, USA"
      ],
      "glosses": [
        "A number of places in the United States:",
        "An unincorporated community in Moniteau County, Missouri."
      ],
      "links": [
        [
          "United States",
          "United States#English"
        ],
        [
          "unincorporated community",
          "unincorporated community"
        ],
        [
          "Moniteau County",
          "Moniteau County#English"
        ],
        [
          "Missouri",
          "Missouri#English"
        ]
      ]
    },
    {
      "categories": [
        "en:Cities in North Carolina, USA",
        "en:Cities in the United States",
        "en:Places in North Carolina, USA",
        "en:Places in the United States"
      ],
      "glosses": [
        "A number of places in the United States:",
        "A city mostly in Guilford County, North Carolina."
      ],
      "links": [
        [
          "United States",
          "United States#English"
        ],
        [
          "city",
          "city"
        ],
        [
          "Guilford County",
          "Guilford County#English"
        ],
        [
          "North Carolina",
          "North Carolina#English"
        ]
      ]
    },
    {
      "categories": [
        "en:Neighborhoods of Seattle",
        "en:Places in Seattle",
        "en:Places in Washington, USA",
        "en:Places in the United States"
      ],
      "glosses": [
        "A number of places in the United States:",
        "A neighbourhood of Seattle, Washington."
      ],
      "links": [
        [
          "United States",
          "United States#English"
        ],
        [
          "neighbourhood",
          "neighbourhood"
        ],
        [
          "Seattle",
          "Seattle#English"
        ],
        [
          "Washington",
          "Washington#English"
        ]
      ]
    },
    {
      "categories": [
        "en:Places in Washington, USA",
        "en:Places in the United States",
        "en:Unincorporated communities in Washington, USA"
      ],
      "glosses": [
        "A number of places in the United States:",
        "An unincorporated community in King County, Washington."
      ],
      "links": [
        [
          "United States",
          "United States#English"
        ],
        [
          "unincorporated community",
          "unincorporated community"
        ],
        [
          "King County",
          "King County#English"
        ],
        [
          "Washington",
          "Washington#English"
        ]
      ]
    },
    {
      "categories": [
        "en:Places in the United States"
      ],
      "glosses": [
        "A number of places in the United States:",
        "The name of a number of high points (summits, hills, mountains) in various places."
      ],
      "links": [
        [
          "United States",
          "United States#English"
        ]
      ]
    }
  ],
  "word": "High Point"
}

Download raw JSONL data for High Point meaning in All languages combined (4.6kB)


This page is a part of the kaikki.org machine-readable All languages combined dictionary. This dictionary is based on structured data extracted on 2025-05-08 from the enwiktionary dump dated 2025-05-01 using wiktextract (887c61b and 3d4dee6). The data shown on this site has been post-processed and various details (e.g., extra categories) removed, some information disambiguated, and additional data merged from other sources. See the raw data download page for the unprocessed wiktextract data.

If you use this data in academic research, please cite Tatu Ylonen: Wiktextract: Wiktionary as Machine-Readable Structured Data, Proceedings of the 13th Conference on Language Resources and Evaluation (LREC), pp. 1317-1325, Marseille, 20-25 June 2022. Linking to the relevant page(s) under https://kaikki.org would also be greatly appreciated.